system of algebraic forms

代数形式系;代数型系